
import libnum
n1= 303394566754610304546434494796347275881
c1= 78161527495703256751161221560032457125
n2= 180415312773986564941903430276084650591
c2= 175944817493669809103859398912534542503
n3= 184714531372023929798633520896548102793
c3= 182550244624622818010787945044962100865
m=libnum.solve_crt([c1,c2,c3],[n1,n2,n3])
print(libnum.n2s(m))
